|
数学や理論物理学において、ミラー対称性(mirror symmetry)はカラビ・ヤウ多様体と呼ばれる幾何学的な対象の間の関係であり、2つの カラビ・ヤウ多様体が幾何学的には全く異なっているにもかかわらず、弦理論の余剰次元としてそれらを扱うと等価となる対称性のことを言う。この場合、多様体は互いに「ミラー多様体」であると呼ばれる。 ミラー対称性はもともとは、物理学者によって発見された。数学者がミラー対称性に興味を持ち始めたのは1990年頃で、特に、(Philip Candelas)、ゼニア・デ・ラ・オッサ(Xenia de la Ossa)、パウル・グリーン(Paul Green)、リンダ・パークス(Linda Parks)らによって、ミラー対称性を数々の方程式の解の数を数える数学の分野である数え上げ幾何学で使うことができることが示されていた。実際、キャンデラスたちは、ミラー対称性を使いカラビ・ヤウ多様体の上の有理曲線を数えることができ、長きにわたり未解決であった問題を解明できることを示した(参照項目:ミラー対称性の応用)〔Yau and Nadis 2010〕。元来のミラー対称性へのアプローチは、理論物理学者からの必ずしも数学的には厳密(mathematical rigor)ではないアイデアに基づいているにもかかわらず、数学者はミラー対称性予想のいくつかを数学的に厳密な証明に成功しつつある〔Givental 1996, 1998; Lian, Liu, Yau 1997, 1999, 2000〕。 今日では、ミラー対称性は純粋数学の主要な研究テーマであり、数学者は物理学者の直感に基づくミラー対称性を数学的に深く理解しつつある〔Hori et al. 2003; Aspinwall et al. 2009〕。ミラー対称性は弦理論の計算を実行する際の基本的なツールでもある〔Zaslow 2008〕。ミラー対称性への主要なアプローチは、マキシム・コンツェビッチ(Maxim Kontsevich)のホモロジカルミラー対称性予想のプログラムや(Andrew Strominger)、シン＝トゥン・ヤウ(Shing-Tung Yau)、(Eric Zaslow)のSYZ予想〔Strominger, Yau, and Zaslow 1996〕を含んでいる。 ==オーバービュー== ===ミラー対称性のアイデア=== 物理学では、弦理論は、その中では素粒子を点状の粒子とは考えずに、と呼ばれる 1次元の対象で置き換えた(theoretical framework)である。これらの弦は通常の弦のループや小さな区分のように見える。弦理論は、どのように弦が空間の中を伝搬するか、互いに相互作用するかを記述する。弦のスケールよりも大きな距離スケールでは、弦は通常の粒子のように見え、質量や電荷を持ち、弦の振動状態によりきめられる他の性質を持っている。弦が分裂したり結合したりすることには、粒子の輻射や吸収が対応し、粒子の間の相互作用を惹き起す〔入手可能な弦理論の入門書は、Greene 2000 を参照。〕。 弦理論の記述する世界と日常の世界の間には、確かに差異がある。日常生活では、3つの空間次元（上下、左右、前後）と、1つの時間次元（以後以前）が存在する。このように、現代物理の言葉では、時空は4次元である〔Wald 1984, p. 4〕。 弦理論の特別な有様の一つに、数学的な整合性のために時空の余剰次元(extra dimensions)を要求される。超弦理論である超対称性と呼ばれる理論上の考え方と両立する理論のバージョンでは、毎日の体験の中で慣れ親しんでいる4次元に加えて、6次元の時空の余剰次元がある〔Zwiebach 2009, p. 8〕。 弦理論の現在の研究の目標のひとつは、高エネルギー物理実験で観察される粒子を、弦が再現するようなモデルを構成することである。観察と整合性を持たせるためには、そのような時空の次元は4である必要があるので、通常の距離スケールでは弦理論の余剰次元を消し去る方法を見つけなくてはならない。弦理論を基礎とする最も現実的なモデルでは、コンパクト化と呼ばれる過程を通して行われる〔Yau and Nadis 2010, Ch. 6〕。コンパクト化の考え方は、弦理論の特定の次元が円をなして自分で「閉じている」ようなものかもしれない。次元が巻きあがっている極限では、非常に小さくなり、有効理論ではより低い次元となっている理論を得る。このことの標準的な類似物は、庭のホースのような多次元の対象を考えることである。ホースを充分に遠い距離で見ると1次元となり、長さしか持っていないように見える。しかし、ホースに近づくにつれ、第二の円周という次元を持っていることが分かる。このようにして、ホースの表面を這う蟻は2次元的に動くことができる〔この類似は Greene 2000, p. 186 で例として使われている。〕。 コンパクト化は、時空の有効次元が4次元となるようなモデルを構成することに使うことができる。しかし、余剰次元をコンパクト化する全ての方法が、自然を記述する良い性質を持つモデルを作り出すとは限らない。素粒子物理学で確認できるようなモデルを構成するためには、コンパクトな余剰次元はカラビ・ヤウ多様体の形をしている必要がある〔。カラビ・ヤウ多様体は複雑な（典型では）6次元の形をしていて、あるテクニカルな条件を満たす。それらは、数学者のエウジェニオ・カラビ(Eugenio Calabi)とシン＝トゥン・ヤウ(Shing-Tung Yau)の名前から命名された〔Yau and Nadis 2010, p. ix〕。 1980年代後半、弦理論のそのようなコンパクト化をすると、対応するカラビ・ヤウ多様体が一意に再構成されることが可能ではないことが分かった。代わりに、2つのカラビ・ヤウ多様体が同じ物理を持つことが発見された〔Dixon 1988; Lerche, Vafa, and Warner 1989〕。 これらの多様体はたがいに「ミラー」といわれる。全部の双対性はいまだ予想でしかないが、位相的弦理論の脈絡でのミラー対称性のバージョンがある。位相的弦理論はエドワード・ウィッテン〔Witten 1990〕 により導入された簡素化された弦理論のバージョンであり、このバージョンは数学者により厳密性(:en:mathematical rigor)を持っている〔Givental 1996, 1998; Lian, Liu, Yau 1997, 1999, 2000〕 。位相的弦理論の脈絡では、ミラー対称性は、2つの理論、A-モデルとB-モデルがある正確な意味で等価であることを主張する〔Zaslow 2008, p.531〕。 弦理論のこれらのカラビ・ヤウコンパクト化が自然の正しい記述をもたらすかどうかは別として、異なるカラビ・ヤウ多様体の間のミラー対称性関係の存在は、重要な数学的結果である〔Zaslow 2008, p.523〕。 弦理論に使われるカラビ・ヤウ多様体は純粋数学的には興味深く、ミラー対称性は、ミラーカラビ・ヤウと同等な問題を解くことで数え上げ代数幾何学の多くの問題を数学者が解決できるようにした〔Yau and Nadis 2010, p.168〕。 今日、ミラー対称性は数学の研究の活発な領域であり、数学者たちは今も物理学者の直感に基づくミラー対称性の数学的理解を深めようと努力している〔Hori et al. 2003, p. xix〕。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ミラー対称性 (弦理論)」の詳細全文を読む スポンサード リンク
|